1. A Concrete Introduction to Real Analysis.
المؤلف: Robert Carlson
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical analysis.
رده :
QA300
.
R634
9999
2. Abstract Objects :
المؤلف: by Edward N. Zalta.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Linguistics -- Philosophy.,Philosophy (General),Science -- Philosophy.
3. Algebraic semantics in language and philosophy
المؤلف: Link, Godehard.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
P
240
.
8
.
L5
A4
1998
4. Automata, Languages and Programming :
المؤلف: edited by Hermann A. Maurer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information theory.,Software engineering.,Theory of Computation.
5. Automated Theory Formation in Pure Mathematics
المؤلف: by Simon Colton.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA8
.
4
B975
2002
6. Automated reasoning with analytic tableaux and related methods :
المؤلف: Didier Galmiche, Dominique Larchey-Wendling (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
7. Automation of Reasoning :
المؤلف: edited by Jörg H. Siekmann, Graham Wrightson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
9. Axiomatics
المؤلف: By R. Blanche;Translated by G. B. Keene.
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Axioms.,Logic.
10. Berkeley's 'Analyst' :
المؤلف: Moriarty, Clare Marie
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
11. Berkeley's 'Analyst' :
المؤلف: Moriarty, Clare Marie
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
12. Bridge to abstract mathematics /
المؤلف: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
13. Combinators, [lambda]-Terms and Proof Theory
المؤلف: by Sören Stenlund.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Philosophy (General)
14. Computation, Logic, Philosophy :
المؤلف: by Hao Wang.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information theory.,Mathematics.,Technology -- Philosophy.
16. Computer Program Synthesis Methodologies :
المؤلف: edited by Alan W. Biermann, Gérard Guiho.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.
17. Concepts and logic of classical thermodynamics as a theory of heat engines :
المؤلف: Clifford A Truesdell
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QC311
.
C554
2012
18. Critique of everyday life /
المؤلف: Henri Lefebvre ; translated by John Moore ; with a preface by Michel Trebitsch.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Life.,Philosophy, Marxist.,Filosofi.,Life.,Livet.,Philosophy, Marxist.,Sociologi.
رده :
BD431
.
L36513
2008
19. Description logic, theory combination, and all that :
المؤلف: Carsten Lutz [and 4 others], (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.,Computer logic.
رده :
QA76
.
9
.
L63
D47
2019
20. Diamond :
المؤلف: N.S. Hellerstein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Paradox.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Paradox.
رده :
QA9
.
H396
2010eb
